theory of inference in discrete mathematics tamil